1.30/1.92	unsat
