2.98/3.02	unsat
