8.66/10.29	unsat
