8.64/9.78	unsat
