2.30/3.04	unsat
