29.41/30.46	unsat
