2.98/3.10	unsat
