30.85/35.33	unsat
