2.94/3.04	unsat
