8.87/10.33	unsat
