6.48/8.92	unsat
