5.18/6.92	unsat
