51.20/51.65	unsat
