30.93/35.33	unsat
