30.41/30.47	unsat
