49.73/53.48	unsat
