28.91/30.46	unsat
