7.77/7.87	unsat
