5.47/6.92	unsat
