30.85/35.09	unsat
