1.69/1.82	unsat
