1.47/1.51	unsat
