49.17/51.31	unsat
