1.19/1.82	unsat
