50.89/53.24	unsat
