1.47/1.57	unsat
