1.28/1.82	unsat
