5.78/8.92	unsat
