9.33/10.46	unsat
