10.07/12.92	unsat
