1.68/2.86	unsat
