6.89/8.83	unsat
