1.20/3.04	unsat
