10.47/10.51	unsat
