51.07/51.24	unsat
