6.87/8.83	unsat
