5.47/8.92	unsat
