1.71/1.75	unsat
