29.62/30.39	unsat
