1.68/2.18	unsat
