5.28/6.92	unsat
