3.06/3.31	unsat
