1.68/2.20	unsat
