30.42/30.48	unsat
