51.03/51.34	unsat
