9.46/10.33	unsat
