3.68/4.07	unsat
