6.57/6.92	unsat
