1.30/2.82	unsat
