30.26/34.04	unsat
