30.02/30.41	unsat
