2.98/3.07	unsat
