6.92/8.73	unsat
