28.42/30.79	unsat
