6.77/8.87	unsat
