1.71/1.78	unsat
