50.74/53.17	unsat
