5.10/6.92	unsat
