8.75/10.33	unsat
