6.87/6.92	unsat
