2.48/3.04	unsat
