1.28/3.04	unsat
