1.30/1.82	unsat
