51.02/51.13	unsat
