30.84/35.04	unsat
