30.33/30.47	unsat
