3.27/5.72	unsat
