3.28/3.88	unsat
