1.68/3.08	unsat
