2.97/3.07	unsat
