7.18/10.92	unsat
