1.68/1.82	unsat
