9.33/10.09	unsat
