49.26/51.74	unsat
