50.28/53.36	unsat
