1.28/1.72	unsat
