50.17/53.97	unsat
