29.39/30.39	unsat
