5.78/6.92	unsat
