30.23/30.95	unsat
