1.71/2.18	unsat
