28.91/30.82	unsat
