8.77/10.78	unsat
