8.67/8.75	unsat
