2.68/3.07	unsat
