30.40/30.41	unsat
