8.66/8.78	unsat
